#include <stdio.h>

#define N   10
#define LEN 1001

int main(int argc, char *argv[]) {

    char number[LEN];
    int i = 0, record[N] = { 0 };

    scanf("%s", number);

    while (number[i] != '\0') {
        record[number[i] - '0']++;
        i++;
    }

    for (i = 0; i < N; i++) {
        if (record[i])
            printf("%d:%d\n", i, record[i]);
    }

    return 0;
}
